Inductive inference of approximations

Inductive inference of approximations for recursive concepts

This paper provides a systematic study of inductive inference of indexable concept classes in learning scenarios where the learner is successful if its final hypothesis describes a finite variant of the target concept, i.e., learning with anomalies. Learning from positive data only and from both positive and negative data is distinguished. The following learning models are studied: learning in ...

Inductive Inference

Communication of inductive inference

This proposal is primarily aimed at the third group of agent systems. In addition to the study of the design of individual agents and communities, recent work has focused on allowing diverse agents and communities to interoperate. This is the goal of the Knowledge Sharing Effort [KSE] (Patil et.al., 1992). The Knowledge Query and Manipulation Language [KQML] (Finin et.al., 1993) is the componen...

Fixed Parameter Inductive Inference

We investigate a particular inductive inference problem where we are given as input a finite set of ordered triples of the form (wi, bi, ti) such that wi is a bit string, bi is a single bit, and ti is a positive integer written in unary. A machine M is said to match such a triple if M outputs bi on input wi in at most ti steps. We proceed to investigate the fixed parameter problems where we fix...

Statistics as Inductive Inference

This chapter concerns the relation between statistics and inductive logic. I start by describing induction in formal terms, and I introduce a general notion of probabilistic inductive inference. This provides a setting in which statistical procedures and inductive logics can be captured. Specifically, I discuss three statistical procedures (hypotheses testing, parameter estimation, and Bayesian...